121. FPGA-based system design

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Field programmable gate arrays-- Design and construction,، System design-- Data processing,، Integrated circuits-- Very large scale integration

رده :
TK
7895
.
G36
.
W648
2004

122. Fault covering problems in reconfigurable VLSI systems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)

موضوع : Integrated circuits--Very large scale integration--Design and construction - Data processing,Integrated circuits - wafer-scale integration--Design and construction--Data processing,Fault-tolerant computing

رده :
TK
7874
.
F38
1992

123. Flip-flop design in nanometer CMOS

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Flip chip technology.,Integrated circuits--Very large scale integration--Design and construction,Metal oxide semiconductors, Complementary--Design and construction

رده :
TK7871
.
99
.
M44A45
2015

124. Flip-flop design in nanometer CMOS : from high speed to low energy

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Flip chip technology,Design and construction ، Integrated circuits -- Very large scale integration,Design and construction ، Metal oxide semiconductors, Complementary

رده :
TK
7871
.
99
.
M44A44

125. Formal hardware verification : methods and systems in comparison

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Design and construction -- Data processing ، Integrated circuits -- Very large scale integration,، Integrated circuits -- Verification,، Computer-aided design

رده :
QA
76
.
L28
Vol
.
1287

126. Formal methods for VLSI disign

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)

موضوع : Integrated Circuits -- Very large scale integration -- Design and construction -- Data processing,Computer -- aided,Integrated Circuits -- Large scale integration -- Testing

رده :
TK
7874
.
F65
1990

127. Formal verification :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Electronic circuits-- Testing,Integrated circuits-- Very large scale integration-- Design and construction,Verilog (Computer hardware description language)

رده :
TK7867

128. Formal verification : an essential toolkit for modern VLSI design

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Testing ، Electronic circuits,Design and construction ، Integrated circuits -- Very large scale integration,، Verilog )Computer hardware description language(

رده :
TK
7867
.
S46F6

129. Fundamentals of computer-aided circuit simulation

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Integrated circuits- Very large scale integration- Design and construction- Data processing,، Computer-aided design

رده :
TK
7874
.
M355
1988

130. Fundamentals of computer-aided circuit simulation

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Integrated circuits- Very large scale integration-Design and construction-Data processing,، Computer-aided design

رده :
TK
7874
.
M355

131. Fundamentals of digital logic design: With VLSI circuit applications

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)

موضوع : Integrated circuits - very large scale integration - Design and construction - Mathematical models,Logic design

رده :
TK
,
7874
,.
P85
,
1990

132. Fundamentals of digital logic design, with VLSI applications

پدیدآورنده :

موضوع : ، Integrated circuits- Very large scale integration- Design and construction- Mathematical models,، Logic design

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

133. Fundamentals of digital logic design: with VLSI circuit applications

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Very large scale integration - Design and construction - Mathematical models ، Integrated circuits,، Logic design

رده :
TK
7874
.
P85
1989

134. Genetic algorithms for VLSI design, layout & test automation

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Integrated circuits, Very large scale integration, Design and construction,، Integrated circuits, Very large scale integration, Testing,، Genetic algorithms,، Integrated circuit layout

رده :
TK
7874
.
75
.
M39G4
2007

135. Genetic algorithms for VLSI design, layout & test automation

پدیدآورنده :

کتابخانه: (سمنان)

موضوع : ، Integrated circuits --Very large scale integration --Design and construction.,، Integrated circuits --Very large scale integration --Testing.,، Genetic algorithms.,، Integrated circuit layout.

رده :
TK
7874
.
75
.
M3G4

136. Genetic algorithms for VLSI design, layout & test automation

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Very large scale integration -- Design and construction ، Integrated circuits,Very large scale integration -- Testing ، Integrated circuits,، Genetic algorithms,، Integrated circuit layout

رده :
TK
7874
.
75
.
M39
2007

137. Hardware specification, verification, and synthesis : Mathematical aspects : Proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Design and construction -- Data processing -- Congresses ، Integrated circuits -- Very large scale integration

رده :
QA
76
.
L28
Vol
.
408

138. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification

رده :
TK
7874
.
C685
1989

139. High-level VLSI synthesis

پدیدآورنده :

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)

موضوع : Integrated circuits - Very large scale integration - Design and construction - Data processing,Computer-aided design

رده :
TK
7874
.
H5243
1991

140. High-level test synthesis of digital VLSI circuits

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Computer-aided design,، Digital integrated circuits-- Testing-- Data processing

رده :
TK
7874
.
75
.
L44
1997